Symposium on Theoretical Aspects of Computer Science - PDFSEARCH.IO - Document Search Engine

Symposium on Theoretical Aspects of Computer Science
Results: 42

#	Item
11	Research internship (Master M2) Title Verification of Distributed Systems with Parameterized Network Topology Description Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2014-10-03 08:24:08 Computational complexity theory Automata theory Symposium on Theoretical Aspects of Computer Science Cryptographic protocols Model checking Network topology
12	Curriculum Vitae ´ ski Damian Niwin JanuaryCurrent Position Add to Reading List Source URL: www.mimuw.edu.pl Language: English - Date: 2012-01-12 19:14:06 Symposium on Theoretical Aspects of Computer Science Logic in computer science International Colloquium on Automata Languages and Programming Fundamenta Informaticae IEEE Symposium on Logic in Computer Science Lecture Notes in Computer Science Workshop on Logic Language Information and Computation Theoretical computer science Applied mathematics Computer science
13	T P A 2010 L  M B The Presburger Award Committee, consisting of Stefano Leonardi, Andrzej Tarlecki, and Add to Reading List Source URL: www.eatcs.org Language: English - Date: 2014-01-29 10:45:05 Applied mathematics Formal languages International Colloquium on Automata Languages and Programming Presburger Award Symposium on Theoretical Aspects of Computer Science Alphabet European Association for Theoretical Computer Science Symposium on Theory of Computing Theoretical computer science Computer science Automata theory
14	Curriculum Vitæ (abridged) Luke Mathieson BSc BCompSc(Hons1) PGDipHEd MHEd PhD(Dunelm) Personal Details Add to Reading List Source URL: comp.mq.edu.au Language: English - Date: 2013-12-01 23:03:08 Parameterized complexity International Colloquium on Automata Languages and Programming Algorithm Symposium on Theoretical Aspects of Computer Science Michael Fellows Theoretical computer science Applied mathematics Computational complexity theory
15	GS3THE UNIVERSITY OF HONG KONG GRADUATE SCHOOL Add to Reading List Source URL: www.gradsch.hku.hk Language: English - Date: 2014-09-04 02:00:44 Graduate school Master of Philosophy Doctor of Philosophy STAC Symposium on Theoretical Aspects of Computer Science University of Hong Kong
16	GS3THE UNIVERSITY OF HONG KONG GRADUATE SCHOOL Add to Reading List Source URL: www.gradsch.hku.hk Language: English - Date: 2014-09-04 01:50:33 Graduate school Master of Philosophy Doctor of Philosophy STAC Symposium on Theoretical Aspects of Computer Science University of Hong Kong
17	Mohammad Mahdian P ERSONAL I NFORMATION Yahoo! Research 2821 Mission College Blvd. Add to Reading List Source URL: www.mahdian.org Language: English - Date: 2012-02-09 17:37:15 European Symposium on Algorithms ACM SIGACT Algorithm Symposium on Theoretical Aspects of Computer Science Science Theoretical computer science Computer science Mathematics
18	Curriculum Vitae Susanne Albers Department of Computer Science Technische Universit¨at M¨unchen BoltzmannstrGarching, Germany Add to Reading List Source URL: www14.in.tum.de Language: English - Date: 2014-08-14 12:36:50 Susanne Albers Symposium on Theoretical Aspects of Computer Science Michael Mitzenmacher International Colloquium on Automata Languages and Programming European Symposium on Algorithms Kurt Mehlhorn Integer sorting SWAT and WADS conferences Lecture Notes in Computer Science Theoretical computer science Computer science Applied mathematics
19	Yuval Filmus Curriculum Vitæ Í 117 Oppenheimer Ln Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2014-10-31 15:18:39 Fellows of the Royal Society International Colloquium on Automata Languages and Programming Automated theorem proving Toniann Pitassi Daniel Filmus Symposium on Foundations of Computer Science Symposium on Theoretical Aspects of Computer Science Symposium on Theory of Computing Combinatorics Theoretical computer science Applied mathematics Computational complexity theory
20	He Sun Room 304 Max Planck Institute for Informatics Campus E1. 4, Saarbrücken 66123, Germany Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2014-11-22 18:18:41 Computer science Graph theory Algorithm European Symposium on Algorithms Symposium on Theoretical Aspects of Computer Science Theoretical computer science Mathematics Combinatorics Academia Max Planck Institute for Computer Science Saarland University Kurt Mehlhorn